<html>
<head><meta charset="utf-8"><title>hello · t-compiler/wg-mir-opt · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/index.html">t-compiler/wg-mir-opt</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html">hello</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="159928997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159928997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Welcome Bot <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159928997">(Mar 04 2019 at 16:46)</a>:</h4>
<p>Welcome to <a class="stream" data-stream-id="189540" href="/#narrow/stream/189540-t-compiler.2Fwg-mir-opt">#t-compiler/wg-mir-opt</a>.</p>
<p><strong>Description</strong>: Working group focused on implementing MIR optimizations and refactoring the MIR to be more amenable to optimizations</p>



<a name="159929084"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929084" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929084">(Mar 04 2019 at 16:47)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="1162">@WG-mir-opt</span> exists too.</p>



<a name="159929165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929165">(Mar 04 2019 at 16:48)</a>:</h4>
<p>thanks! Do I have to keep that tag in sync with the github team?</p>



<a name="159929205"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929205" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929205">(Mar 04 2019 at 16:48)</a>:</h4>
<p>For now, yeah. Hopefully at some point the <code>rust-lang/team</code> repository will handle that too (I think Zulip would need to add an API for it).</p>



<a name="159929278"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929278" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929278">(Mar 04 2019 at 16:49)</a>:</h4>
<p>Ok, so I should be bugging you or others with powers to add ppl? Or is this something I should do myself?</p>



<a name="159929404"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929404" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929404">(Mar 04 2019 at 16:50)</a>:</h4>
<p>I think you <em>should</em> be able to add people. Try making a change, Organization Settings &gt; User Groups, then just try add and remove yourself.</p>



<a name="159929417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929417">(Mar 04 2019 at 16:51)</a>:</h4>
<p>Otherwise, feel free to ping me.</p>



<a name="159929549"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/159929549" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#159929549">(Mar 04 2019 at 16:52)</a>:</h4>
<p>wonderful, that works, thanks!</p>



<a name="160442655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/160442655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Félix Fischer <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#160442655">(Mar 11 2019 at 01:11)</a>:</h4>
<p>Hello y'alls!</p>



<a name="160467636"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/160467636" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#160467636">(Mar 11 2019 at 10:44)</a>:</h4>
<p>Would someone be able to add me to the GitHub group for this WG? I'm interested in contributing to it once it kicks off.</p>



<a name="160470831"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/160470831" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#160470831">(Mar 11 2019 at 11:34)</a>:</h4>
<p>huh? you can't add yourself? Our permission scheme is funky. I can add you on github, but can't edit things here, you can edit things here but not on github?</p>



<a name="160470834"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/160470834" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#160470834">(Mar 11 2019 at 11:34)</a>:</h4>
<p>added you</p>



<a name="160470860"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/160470860" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> davidtwco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#160470860">(Mar 11 2019 at 11:35)</a>:</h4>
<p>Thanks. I don't have any permissions on GitHub outside of basic labelling and assigning AFAIK.</p>



<a name="160484523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/160484523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#160484523">(Mar 11 2019 at 14:44)</a>:</h4>
<p>I'm also very interested in contributing once it kicks off <span aria-label="smile" class="emoji emoji-263a" role="img" title="smile">:smile:</span></p>



<a name="164055343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164055343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Saleem Jaffer <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164055343">(Apr 24 2019 at 05:33)</a>:</h4>
<p>Hey <span class="user-mention" data-user-id="124288">@oli</span> I would like to do some work in MIR. Do let me know if I can help out!</p>



<a name="164062369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164062369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164062369">(Apr 24 2019 at 08:14)</a>:</h4>
<p>awesome! We'll gladly take your help</p>



<a name="164062401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164062401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164062401">(Apr 24 2019 at 08:15)</a>:</h4>
<p>If you want to pick up something that just needs carrying over the finish line, <a href="https://github.com/rust-lang/rust/pull/57150" target="_blank" title="https://github.com/rust-lang/rust/pull/57150">https://github.com/rust-lang/rust/pull/57150</a> is pretty cool, MIR related and just needs some finishing cleanups</p>



<a name="164065005"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164065005" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Saleem Jaffer <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164065005">(Apr 24 2019 at 09:08)</a>:</h4>
<p>Cool, I'll take it up!</p>



<a name="164676376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164676376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164676376">(May 02 2019 at 02:59)</a>:</h4>
<p>Hi everyone! I've got very interested in miri during the course of making a PR. Could I work on the issues as a member of this WG? cc <span class="user-mention" data-user-id="124288">@oli</span></p>



<a name="164685644"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164685644" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164685644">(May 02 2019 at 07:08)</a>:</h4>
<p>This WG is about changing MIR datastructures and adding MIR optimizations, if you are looking for MIR interpretation, we don't have a working group for that (yet?).</p>



<a name="164698598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164698598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164698598">(May 02 2019 at 11:08)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span>  Yes, I read <a href="https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt" target="_blank" title="https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt">this README</a>. I would be glad if I could help to solve some issues!</p>



<a name="164699578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164699578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164699578">(May 02 2019 at 11:25)</a>:</h4>
<p>wonderful! We're happy to have you then. I'll add you to the github team</p>



<a name="164699649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164699649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164699649">(May 02 2019 at 11:26)</a>:</h4>
<p>nevermind XD I don't have permissions to do that</p>



<a name="164699658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164699658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164699658">(May 02 2019 at 11:26)</a>:</h4>
<p>I'll bring it up with the appropriate ppl and just add you to the zulip team for now</p>



<a name="164699955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164699955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Yuki Okushi <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164699955">(May 02 2019 at 11:32)</a>:</h4>
<p>Thank you!</p>



<a name="164790488"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164790488" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Saleem Jaffer <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164790488">(May 03 2019 at 12:42)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span>  Is there a place where the team for the MIR WG exists? If so, could you please add me to that?</p>



<a name="164922777"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164922777" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164922777">(May 05 2019 at 14:54)</a>:</h4>
<p><span class="user-mention" data-user-id="214307">@Saleem Jaffer</span> do you mean <a href="https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt" target="_blank" title="https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt">https://github.com/rust-lang/compiler-team/tree/master/working-groups/mir-opt</a> ?</p>



<a name="164923240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164923240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Saleem Jaffer <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164923240">(May 05 2019 at 15:05)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> yeah looks like. Do we specifically add people into this?</p>



<a name="164923287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164923287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164923287">(May 05 2019 at 15:06)</a>:</h4>
<p>I don't think so, but you can look at what other teams are doing</p>



<a name="164983184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164983184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164983184">(May 06 2019 at 13:53)</a>:</h4>
<p>what is usually done is adding people to the Zulip group so when you do <code>@WG-mir-opt</code> more people can be notified</p>



<a name="164991995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164991995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164991995">(May 06 2019 at 15:36)</a>:</h4>
<p>that has already happened</p>



<a name="164992027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164992027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164992027">(May 06 2019 at 15:37)</a>:</h4>
<p>we're working on a system to do that on github easily, too</p>



<a name="164992165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164992165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164992165">(May 06 2019 at 15:38)</a>:</h4>
<p>what I meant is ... maybe <span class="user-mention" data-user-id="214307">@Saleem Jaffer</span> can be added there</p>



<a name="164994029"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/164994029" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#164994029">(May 06 2019 at 16:02)</a>:</h4>
<p>yes, they have been added to the zulip group</p>



<a name="165697586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/165697586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Saleem Jaffer <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#165697586">(May 15 2019 at 09:00)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> I can pick up some more work in MIR</p>



<a name="165806875"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/165806875" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#165806875">(May 16 2019 at 12:56)</a>:</h4>
<p><span class="user-mention" data-user-id="214307">@Saleem Jaffer</span> there's <a href="https://github.com/rust-rfcs/const-eval/issues/4" target="_blank" title="https://github.com/rust-rfcs/const-eval/issues/4">https://github.com/rust-rfcs/const-eval/issues/4</a> if you want it</p>



<a name="187678994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187678994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Emanuel Lima <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187678994">(Feb 07 2020 at 20:52)</a>:</h4>
<p>Hello <span class="user-mention" data-user-id="124288">@oli</span> , <span class="user-mention" data-user-id="125250">@Wesley Wiser</span> , <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span></p>
<p>My first question is how can I best contribute, seeing that I am still a beginner on the compiler world.</p>
<p>Second, do you guys have recomendations of books or talks that I can use to study?</p>



<a name="187679215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679215">(Feb 07 2020 at 20:55)</a>:</h4>
<p>Welcome! <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span></p>



<a name="187679322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679322">(Feb 07 2020 at 20:56)</a>:</h4>
<p>Do you have any experience with writing Rust code already? <br>
Contributors of all experience levels are welcome but it's helpful for me to give you better resource suggestions.</p>



<a name="187679531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Emanuel Lima <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679531">(Feb 07 2020 at 20:58)</a>:</h4>
<p>I would say that my Rust is basic. I've written small to medium programs in the past using a blockchain framework called Substrate. But it never got past the prototype phase.</p>



<a name="187679552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679552">(Feb 07 2020 at 20:58)</a>:</h4>
<p>Ok, great!</p>



<a name="187679637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679637">(Feb 07 2020 at 21:00)</a>:</h4>
<p>One of the main resources I would point you to is the "rustc-guide" which is a non-exhaustive document that describes how the rust compiler works.<br>
<a href="https://rust-lang.github.io/rustc-guide" target="_blank" title="https://rust-lang.github.io/rustc-guide">https://rust-lang.github.io/rustc-guide</a></p>



<a name="187679653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679653">(Feb 07 2020 at 21:00)</a>:</h4>
<blockquote>
<p>Hello <span class="user-mention silent" data-user-id="124288">oli</span> , <span class="user-mention silent" data-user-id="125250">Wesley Wiser</span> , <span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span></p>
<p>My first question is how can I best contribute, seeing that I am still a beginner on the compiler world.</p>
<p>Second, do you guys have recomendations of books or talks that I can use to study?</p>
</blockquote>
<p>hi!</p>



<a name="187679667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679667">(Feb 07 2020 at 21:00)</a>:</h4>
<p>In particular, this overview is helpful <a href="https://rust-lang.github.io/rustc-guide/high-level-overview.html" target="_blank" title="https://rust-lang.github.io/rustc-guide/high-level-overview.html">https://rust-lang.github.io/rustc-guide/high-level-overview.html</a></p>



<a name="187679693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679693">(Feb 07 2020 at 21:00)</a>:</h4>
<p>And then all of the pages under "2.17: The MIR" are helpful <a href="https://rust-lang.github.io/rustc-guide/mir/index.html" target="_blank" title="https://rust-lang.github.io/rustc-guide/mir/index.html">https://rust-lang.github.io/rustc-guide/mir/index.html</a></p>



<a name="187679842"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187679842" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Emanuel Lima <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187679842">(Feb 07 2020 at 21:02)</a>:</h4>
<p>Nice!</p>



<a name="187680203"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187680203" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187680203">(Feb 07 2020 at 21:07)</a>:</h4>
<p>Sometimes it's helpful to see an example of something in code. This is a pretty recent PR that added a new optimization pass so it should give you an idea of what that looks like: <a href="https://github.com/rust-lang/rust/pull/66329" target="_blank" title="https://github.com/rust-lang/rust/pull/66329">https://github.com/rust-lang/rust/pull/66329</a></p>



<a name="187680299"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187680299" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187680299">(Feb 07 2020 at 21:09)</a>:</h4>
<p>Unfortunately I don't know of any good beginner issues I could point you towards at the moment. However <span class="user-mention" data-user-id="124288">@oli</span> may have some ideas. He's in Europe so he probably won't chime in until tomorrow.</p>



<a name="187680377"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187680377" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187680377">(Feb 07 2020 at 21:10)</a>:</h4>
<p>I'd encourage you to look at the rustc-guide and also try building a copy of the compiler on your computer.</p>



<a name="187680423"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187680423" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187680423">(Feb 07 2020 at 21:10)</a>:</h4>
<p>The first time you compile often takes a very long time and nothing is worse than wanting to jump into making a change and then having to wait for a really long compile.</p>



<a name="187680851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187680851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Emanuel Lima <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187680851">(Feb 07 2020 at 21:15)</a>:</h4>
<p>Noted! Thanks for the directions.</p>



<a name="187707364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187707364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187707364">(Feb 08 2020 at 08:09)</a>:</h4>
<p>hi! One thing that we're going to look into soonish is to have different mir opt levels for different regular optimization levels. Some optimizations are too expensive for debug mode or will make debugging hard/impossible. So maybe that could be a good start?</p>



<a name="187721523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187721523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187721523">(Feb 08 2020 at 15:50)</a>:</h4>
<p>OK, rolling back on the debug info thing since the other thread says we can do that correctly.</p>



<a name="187721543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187721543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187721543">(Feb 08 2020 at 15:51)</a>:</h4>
<p>I'd still thunk there are optimizations that are too expensive. I've read somewhere that copy prop is expensive? Not sure what the status on that is</p>



<a name="187721582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187721582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187721582">(Feb 08 2020 at 15:52)</a>:</h4>
<p>copy prop... isn't great</p>



<a name="187721591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187721591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187721591">(Feb 08 2020 at 15:52)</a>:</h4>
<p>I hope to make a cheap single-pass-ish version of my NRVO optimization that still handles many of the cases</p>



<a name="187721943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/187721943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> eddyb <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#187721943">(Feb 08 2020 at 16:03)</a>:</h4>
<p>(okay, no, it would be two passes roughly, to account for ever-borrowed locals)</p>



<a name="188123405"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/188123405" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#188123405">(Feb 13 2020 at 16:30)</a>:</h4>
<p><span class="user-mention" data-user-id="262681">@Emanuel Lima</span> If you're still looking for something to do, <a href="https://github.com/rust-lang/rust/issues/69134" target="_blank" title="https://github.com/rust-lang/rust/issues/69134">#69134</a> might be a good beginner issue that will involve working with the backend of the compiler.</p>



<a name="188126944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/188126944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Emanuel Lima <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#188126944">(Feb 13 2020 at 17:05)</a>:</h4>
<p>I'll check it out!</p>



<a name="203696779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/203696779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Antoine Martin <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#203696779">(Jul 13 2020 at 10:01)</a>:</h4>
<p>hi ! came here from this tweet <a href="https://twitter.com/oli_obk/status/1282365761881874432?s=20">https://twitter.com/oli_obk/status/1282365761881874432?s=20</a> :)</p>
<p>I don't have any specific optimization I'd like to tackle, mostly because I have no idea of what currently gets optimized in rustc. Would love a small task to get started working on rustc :)</p>
<div class="inline-preview-twitter"><div class="twitter-tweet"><a href="https://twitter.com/oli_obk/status/1282365761881874432?s=20"><img class="twitter-avatar" src="https://pbs.twimg.com/profile_images/250812979/avatar_normal.png"></a><p>If you want to mess with awesome optimizations that llvm *cannot* do because they'd be illegal without knowing high level stuff about the Rust type system, talk to me, I'll happily mentor you through doing such impls.</p><span>- const fn oli (@oli_obk)</span></div></div>



<a name="203698069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/203698069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#203698069">(Jul 13 2020 at 10:17)</a>:</h4>
<p>Welcome! cc <span class="user-mention" data-user-id="124288">@oli</span> in case they have something in mind to get you started</p>



<a name="203698475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/203698475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#203698475">(Jul 13 2020 at 10:23)</a>:</h4>
<p>Hi and welcome! Let's talk in <a href="#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/multiple.20return.20terminators/near/203698335">https://rust-lang.zulipchat.com/#narrow/stream/189540-t-compiler.2Fwg-mir-opt/topic/multiple.20return.20terminators/near/203698335</a></p>



<a name="203744225"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/203744225" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> choco <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#203744225">(Jul 13 2020 at 17:29)</a>:</h4>
<p>Hello everyone, I also came from the tweet that <span class="user-mention" data-user-id="124288">@oli</span>  made, so if there's something to gets my hands dirty I'm down!</p>



<a name="203783033"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/203783033" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Lokathor <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#203783033">(Jul 13 2020 at 23:19)</a>:</h4>
<p>also came from the tweet</p>



<a name="211751873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/189540-t-compiler/wg-mir-opt/topic/hello/near/211751873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Emanuel Lima <a href="https://rust-lang.github.io/zulip_archive/stream/189540-t-compiler/wg-mir-opt/topic/hello.html#211751873">(Sep 30 2020 at 12:31)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="124288">@oli</span> ! I'm excited to start contributing!</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>